English Computing Dictionary
◊ EXISTENTIAL QUANTIFIER
existential quantifier
{quantifier}